sched: make counters for vCPU tickling generic
authorDario Faggioli <dario.faggioli@citrix.com>
Tue, 17 Mar 2015 09:57:23 +0000 (10:57 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 17 Mar 2015 09:57:23 +0000 (10:57 +0100)
commitc1dcf7feb7d1eca12689911358d1950d57928510
tree75152e3a6de3db347a130560d393f3ca976ab471
parent8b0e94da0e23221a6d7ea19bfbd24a407db44de8
sched: make counters for vCPU tickling generic

and update them from Credit2 and RTDS schedulers.

Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
Reviewed-by: Meng Xu <mengxu@cis.upenn.edu>
Acked-by: Jan Beulich <jbeulich@suse.com>
Acked-by: George Dunlap <george.dunlap@eu.citrix.com>
xen/common/sched_credit2.c
xen/common/sched_rt.c
xen/include/xen/perfc_defn.h